121. Discrete computational structures
پدیدآورنده : Korfhage, Robert R.
موضوع : ، Electronic digital computers-- Programming,، Mathematics-- Data processing
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
122. Embedded real- time systems
پدیدآورنده : Calvez, Jean Paul.
کتابخانه: كتابخانه پژوهشگاه نیرو (طهران)
موضوع : ، Electronic digital computers- Programming,، Real- time data processing,، Embedded computer systems- Programming
123. Embedded real-time systems
پدیدآورنده : Calvez, Jean Paul.
کتابخانه: (طهران)
موضوع : Electronic digital computers - Programming , Real-time data processing , Embedded computer systems - Programming
رده :
QA
76
.
6
.
C338313
1993
124. Engineering and scientific computations in PASCAL
پدیدآورنده : Huelsman, Lawrence P
موضوع : ، Engineering-- Data processing,، Pascal )Computer program language(,، Electronic digital computers-- Programming
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
125. Euro-Par 2015
پدیدآورنده : \ [Edited by] Sascha Hunold...[et.al]
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Parallel processing (Electronic computers) -- Congresses.,Parallel programming (Computer science) -- Congresses.,Electronic data processing -- Distributed processing -- Congresses.,پردازش موازی -- کنگره ها ,برنامه‌نویسی موازی -- کنگره ها ,داده‌پردازی -- پردازش توزبع شده -- کنگره ها
رده :
QA
76
.
58
.
E92
2015
E-Book
,
126. Euro-Par 2015
پدیدآورنده : \ esper Larsson Träff, Sascha Hunold, Francesco Versaci (eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Parallel processing (Electronic computers) -- Congresses,Parallel programming (Computer science) -- Congresses,Electronic data processing -- Distributed processing -- Congresses,پردازش موازی -- کنگره ها,برنامه‌نویسی موازی -- کنگره ها,داده‌پردازی -- پردازش توزبع شده -- کنگره ها
رده :
QA
76
.
58
.
I58
E92
2015
E-Book
,
127. Executive programs and operating systems
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Electronic digital computers -- Programming,، Real-time data processing
رده :
QA
76
.
5
.
E97
128. Executive programs and operating systems
پدیدآورنده : / edited by G. Guttle and P. B. Robinson
کتابخانه: المكتبة المركزية ومركز الأرشيف (طهران)
موضوع : Electronic digital computers - Programming,Real-time data processing
رده :
001
.
64
E96
129. Exploring the world of data processing
پدیدآورنده : DEROSSI,CLAUDE J
کتابخانه: (طهران)
موضوع : ELECTRONIC DATA PROCESSING , ELECTRONIC DIGITAL COMPUTERS-PROGRAMMING, PROGRAMMED LANGUAGE )ELECTRON
رده :
QA
76
.
D37
130. Fachtagung Prozessrechner 1974, Karlsruhe, 10-11. Juni 1974
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Process control-- Data processing-- Congresses,، Electronic digital computers-- Programming-- Congresses
رده :
TS
156
.
8
.
F32
1974
131. Fachtagung prozessrechner 1974, Karlsruhe, 10-11. Juni 1974
پدیدآورنده : Von Gerhard Kruger und Rudiger Friehmelt
کتابخانه: (طهران)
موضوع : Data processing -- Congresses ، Process control,Congresses ، Electronic digital computers -- Programming
رده :
TS
156
.
8
.
F35
132. Fast track to Sun Certified Java Programmer (SCJP) 5.0 upgrade exam
پدیدآورنده : Kent Tong Ka Iok.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Electronic data processing personnel -- Certification.,Java (Computer program language),Sun computers -- Programming -- Examinations -- Study guides.
133. Finite representations of CCS and TCSP programs by automata and Petri nets
پدیدآورنده : / Dirk Taubner
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Electronic data processing--Distributed processing,Petri nets,Programming languages (Electronic computers)
رده :
QA
,
76
.
9
,.
D5
,
T39
,
1989
134. Finite representations of CCS and TCSP programs by automata and Petri nets
پدیدآورنده : Taubner, Dirk
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : Distributed processing ، Electronic data processing,، Petri nets,، Programming languages )Electronic computers(
رده :
QA
76
.
9
.
D5
.
T39
1989
135. Finite representations of CCS and TCSP programs by automata and Petri nets
پدیدآورنده : Taubner, Dirk
کتابخانه: (طهران)
موضوع : ، Electronic data processing -- Distributed processing,، Petri nets,، Programming languages )Electronic computers(
رده :
QA
76
.
9
.
D5
T39
1989
136. Finite representations of CCS and TCSP programs by automata and Petri nets
پدیدآورنده : Taubner, Dirk, 9591-
کتابخانه: (طهران)
موضوع : ، Electronic data processing -- Distributed processing,، Petri nets,، Programming languages )Electronic computers(
رده :
QA
76
.
L28
Vol
.
369
137. Finite representations of CCS and TCSP programs by automata and Petri nets
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Electronic data processing ; Distributed processing. ; Petri nets. ; Programming languages (Electronic computers) ;
138. Formal methods for concurrency
پدیدآورنده : Fencott, Clive
کتابخانه: (طهران)
موضوع : Real-time data processing , Real-time programming , Programming Languages )Electronic computers(
رده :
QA
76
.
54
.
F46
1996
139. From problem to program
پدیدآورنده : / M. E. Wardle
کتابخانه: المكتبة المركزية ومركز الأرشيف (طهران)
موضوع : Electronic digital computers - Programming,Electronic data processing - Mathematics
رده :
001
.
642
W266
140. From problem to program
پدیدآورنده : Wardle, M E
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Electronic digital computers-- Programming,، Electronic data processing-- Mathematics
رده :
QA
76
.
6
.
W35
